rasmus lerdorf net worth